import caps.*

class IO

def f[C^](io: IO^{C}) = ???

def test =
  f[{}](???)
  f[{}](???)
  f[{cap}](???)
  f[Nothing](???) // error
  f[String](???) // error
